rule of implication

蕴涵规则